Regular-Language Semantics for a Call-by-Value Programming Language

Programming language syntax and semantics

Programming Language Syntax and Semantics introduces methods for formally specifying the syntax and semantics of programming languages. Understanding Programming Languages provides A comprehensive look at the design elements of programming languages. It will enable the developers, managers and architects to. 99 pages. Following is an analysis of how computer languages are taught and how English...

Embedding Dynamic Dataflow in a Call-by-Value Language

This paper describes FrTime, an extension of Scheme designed for writing interactive applications. Inspired by functional reactive programming, the language embeds dynamic dataflow within a call-by-value functional language. The essence of the embedding is to make program expressions evaluate to nodes in a dataflow graph. This strategy eases importation of legacy code and permits incremental pr...

Semantics of a purely quantum programming language

Quantum algorithm is the key to dig the potential power of quantum computing and make quantum computation more efficient than its classical analogue. However, present methods of designing quantum algorithms are too tricky and lack of systematic development. The aim of quantum programming languages is to deal with this problem and try to provide a high-level and unifying description and treatmen...

Programming Language Semantics A Rewriting Approach

Declarative semantics of a meta-programming language?

We present a logical programming language, generative clause programs, which generalize definite clause programs with a meta-programming level. The fundamental notion in the language is that of a meta-goal which consists of a plain goal together with a program in which it is expected to be true. The declarative semantics can be defined in terms of Herbrand models consisting of such meta-goals. ...